action for specific performance of contract